Intelligent Management of Inter-thread Synchronization Dependencies for Concurrent Programs
نویسندگان
چکیده
INTELLIGENT MANAGEMENT OF INTER-THREAD SYNCHRONIZATION DEPENDENCIES FOR CONCURRENT PROGRAMS
منابع مشابه
Multi-threaded Processes in CHORUS/MIX
Interest in concurrent programming in recent years has spurred development of ‘‘threads’’, or ‘‘lightweight processes’’, as an operating system paradigm. UNIX-based systems have been especially affected by this trend because the smallest unit of CPU scheduling in UNIX, the process, is a rich and expensive software entity with a private memory address space. In this article we examine performanc...
متن کاملDebugging Scheme Fair Threads
There are two main policies for scheduling thread-based concurrent programs: preemptive scheduling and cooperative scheduling. The former is known to be difficult to debug, because it is usually non-deterministic and can lead to data races or difficult thread synchronization. We believe the latter is a better model when it comes to debugging programs. In this paper, we discuss the debugging of ...
متن کاملConcurrent Object-Oriented Programming: The MP-Eiffel Approach
concurrent programming Since we are interested in the essential properties of concurrency, we don’t want to bind our concurrent processing entities to specific “lower level” realizations such as threads, processes, object request brokers, MPI, PVM, or any other. Instead, we will use an abstract notion of “processor” adapted from Meyer [Mey97, page 964]: A processor is an autonomous thread of co...
متن کاملTowards Algorithmic Correction of Concurrency Failures
Designing inter-thread synchronization mechanisms is an important part of concurrent programming. Poor design of synchronization may result in concurrency failures such as data race, deadlock or starvation. In this paper, we present our ongoing work on algorithmic revision of inter-thread synchronization mechanisms, known as synchronization skeletons. Our preliminary results illustrate that suc...
متن کاملActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization
Monitor objects are used extensively for thread-safety and synchronization in shared memory parallel programs. They provide ease of use, and enable straightforward correctness analysis. However, they inhibit parallelism by enforcing serial executions of critical sections, and thus the performance of parallel programs with monitors scales poorly with number of processes. Their current design and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014